21![Sessions S1 Computer Algebra for Modeling in Science and Engineering S2 Sessions S1 Computer Algebra for Modeling in Science and Engineering S2](https://www.pdfsearch.io/img/9d9531a47ba8978b958fd82738de12e1.jpg) | Add to Reading ListSource URL: www.mathematik.uni-kassel.de- Date: 2016-08-02 05:55:09
|
---|
22![STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science STUDIES IN LOGIC, GRAMMAR AND RHETORICEvaluating Prospective Built-in Elements of Computer Algebra in Mizar⋆ Adam Naumowicz Institute of Computer Science](https://www.pdfsearch.io/img/1d04689baccb8313a8f285c87d8acda9.jpg) | Add to Reading ListSource URL: mizar.org- Date: 2010-03-05 21:10:35
|
---|
23![CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by](https://www.pdfsearch.io/img/6bc03b67ba8329edc8f99ddcdfd542f3.jpg) | Add to Reading ListSource URL: www-compsci.swan.ac.uk- Date: 2014-07-11 07:33:31
|
---|
24![Basic Elements of Computer Algebra in MIZAR Adam Naumowicz† Czeslaw Bylinski†† † Basic Elements of Computer Algebra in MIZAR Adam Naumowicz† Czeslaw Bylinski†† †](https://www.pdfsearch.io/img/769f347c3e9aa64f3696d84206ef2222.jpg) | Add to Reading ListSource URL: markun.cs.shinshu-u.ac.jp- Date: 2002-08-28 03:46:27
|
---|
25![CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems CDC99 - REG0098 Computer algebra in the control of singularly perturbed dynamical systems ](https://www.pdfsearch.io/img/57be7b09a6c52765bd6eb03f63e51a86.jpg) | Add to Reading ListSource URL: math.ucsd.edu- Date: 1999-03-10 19:59:53
|
---|
26![Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra Static Livelock Analysis in CSP? Jo¨el Ouaknine, Hristina Palikareva, A. W. Roscoe, and James Worrell Department of Computer Science, Oxford University, UK {joel,hrip,awr,jbw}@cs.ox.ac.uk Abstract. In a process algebra](https://www.pdfsearch.io/img/4d64882bbc7ecda596400911af266fb3.jpg) | Add to Reading ListSource URL: www.cs.ox.ac.uk- Date: 2013-01-23 11:18:26
|
---|
27![A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu A Framework for Parameterized Design of Rule Systems Applied to Algebra Eric Butler, Emina Torlak, and Zoran Popovi´c Department of Computer Science and Engineering, University of Washington, Seattle, WAUSA {edbu](https://www.pdfsearch.io/img/5134f8dc7e3358a6353925f5e132490a.jpg) | Add to Reading ListSource URL: homes.cs.washington.edu- Date: 2016-03-26 21:26:17
|
---|
28![High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada High-Performance Symbolic Computation in a Hybrid Compiled-Interpreted Programming Environment Xin Li Ontario Research Center for Computer Algebra University of Western Ontario London, Ontario, Canada](https://www.pdfsearch.io/img/645ec78109b700aec6530216cd2a5d74.jpg) | Add to Reading ListSource URL: www.csd.uwo.ca- Date: 2008-12-16 23:38:33
|
---|
29![Susan Margulies margulie at usna dot edu United States Naval Academy, Department of Mathematics, Annapolis, MDResearch Interests Optimization, Graph Theory, Computer Algebra, Algorithms and Complexity, Cryptograph Susan Margulies margulie at usna dot edu United States Naval Academy, Department of Mathematics, Annapolis, MDResearch Interests Optimization, Graph Theory, Computer Algebra, Algorithms and Complexity, Cryptograph](https://www.pdfsearch.io/img/fbf5dd3203181e102b4be93b37ae7341.jpg) | Add to Reading ListSource URL: www.fulbright.at- Date: 2016-07-18 10:49:55
|
---|
30![Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Teaching mathematics with reasoning tools: learning, te Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Teaching mathematics with reasoning tools: learning, te](https://www.pdfsearch.io/img/829586c9291993a24b325c8fa32b3297.jpg) | Add to Reading ListSource URL: cadgme.ms.sapientia.ro- Date: 2016-01-27 04:44:02
|
---|